grounding structs is not supported currently, and
pretty-printing structs is not supported by the GUI

condition dialogue header now shows what kind of
condition is being examined

reorder final output in pate_binja to display eq.
result after eq. conditions

needed now that "good" case does not prompt for
a second observable difference

adds support for structs in 'symbolicFromConcrete'

this makes pretty-printing ground traces easier,
as the GUI can decide how to present grounded pointers
differently depending on the region

control flow desynchronization was inadvertently dropped